Credible Information, Allowable Information and Belief Revision - Extended Abstract
نویسندگان
چکیده
منابع مشابه
Information structures in belief revision
Belief revision theories address the problem of rationally integrating new pieces of information into an agent’s belief state. Belief states themselves are represented by certain kinds of information structures. The most interesting and most closely studied type of belief revision is the one in which the new information is inconsistent with the agent’s current beliefs. The main question of the ...
متن کاملA simple modal logic for belief revision: Extended Abstract
The notions of static belief and of belief revision have been extensively studied in the literature. However, there is a surprising lack of uniformity in the two approaches. In the philosophy and logic literature the notion of static belief has been studied mainly within the context of modal logic. On the syntactic side a belief operator B is introduced, with the intended interpretation of B as...
متن کاملDistance Semantics for Relevance-Sensitive Belief Revision Extended Abstract
The AGM postulates [4], [1] are widely regarded to have captured much of what is involved in the process of rational belief revision. Recently however, Parikh [7] observed that despite their success, the AGM postulates are rather liberal in their treatment of the notion of relevance. More precisely, Parikh argues that during belief revision a rational agent does not change her entire belief cor...
متن کاملInformation Flow Investigations : Extended Abstract ∗
Nontraditional Information Flow Problems. Concerns about privacy have led to much interest in determining how third-party associates of first-party websites use the information they collect about the visitors to the first-party website. Some researchers have attempted to determine what these third-parties do with the information they collect [3, 6]. These researchers propose and use various ana...
متن کاملQuantified Interference : Information Theory and Information Flow ( Extended Abstract )
The paper investigates which of Shannon’s measures (entropy, conditional entropy, mutual information) is the right one for the task of quantifying information flow in a programming language. We examine earlier relevant contributions from Denning, McLean and Gray and we propose and motivate a specific quantitative definition of information flow. We prove results relating equivalence relations, i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2019
ISSN: 2075-2180
DOI: 10.4204/eptcs.297.6